package Csp.Solvers;

import java.util.List;
import Csp.Model.Csp;
import Csp.Model.Variable;

public interface ISolver {
	
	public List<Variable> solve(Csp csp);
	public Csp cons(List<Variable> instance, Variable last, Csp csp);
	public String getName();
	
	//Benchmark
	public int getNodes();
	public long getTime();
}
